/
  • Search Results for '1http:/www.kr.tuwien.ac.at/research/systems/drew2 Example1.takethedlkb:(2paptorev:�)voveroverv8super :overf(a;b)gtf(b;c)gvsuperwheresuper Isthetransitiveclosureoftherolesuper.thersttwoaxiomsindica'